程序正确性;
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
来源:互联网摘选搜寻这个错误很容易, 维护和修改这个程式也很容易.
来源:互联网摘选A set of input data and conditions used to check the program correctness.
一组用于检查程序正确性的输入数据和条件.
来源:词典精选例句
简答网 · 高考英语

简答网 · 高考英语

简答网 · 中考英语

简答网 · 高考英语

简答网 · 四六级英语

简答网 · 初中英语作文